6ddec22ac7f0e1e47f415182b1715446b3f5203d,findbugs/src/java/edu/umd/cs/findbugs/ba/deref/UnconditionalValueDerefAnalysis.java,UnconditionalValueDerefAnalysis,checkNonNullReturnValue,#XMethod#Location#ValueNumberFrame#UnconditionalValueDerefSet#,384

Before Change


		}
		if (database.getResolvedAnnotation(thisMethod, true) !=  NullnessAnnotation.NONNULL)
			return;
		IsNullValueFrame invFrame = invDataflow.getFactAtLocation(location);
		if (!invFrame.isValid()) return;

		
		IsNullValue value = invFrame.getTopValue();
		if (value.isDefinitelyNotNull()) return;
		if (value.isDefinitelyNull()) return;
		ValueNumber vn = vnaFrame.getTopValue();
		if (true)  fact.addDeref(vn, location);

After Change


		}
		if (database.getResolvedAnnotation(thisMethod, true) != NullnessAnnotation.NONNULL)
			return;
		if (reportPotentialDereference(location, invDataflow.getFactAtLocation(location))) {
			ValueNumber vn = vnaFrame.getTopValue();
			fact.addDeref(vn, location);
		}